搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Numerical integration : recent developments, software, and applications 0 索取号：O241.4/E991 作者：NATO Advanced Research Workshop on Numerical Integration: Recent Developments、 Software、 and Applications (1991 : Bergen、 Norway)、Espelid、 Terje O.、Genz、 Alan.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Dordrecht ; Boston : Kluwer Academic, c1992.		Nonlinear evolution equations and dynamical systems : proceedings NEEDS '91, Baia Verde, Gallipoli, Italy, 19-29, June 1991 0 索取号：O241.1-532/E991/1991 作者：Workshop on Nonlinear Evolution Equations and Dynamical Systems (7th : 1991 : Gallipoli、 Italy)、Boiti、 M.、 1941-、Martina、 L.、Pempinelli、 F.、 1941.-、出版社：Singapore ; River Edge, N.J. : World Scientific, c1992.
	Applied numerical modelling : proceedings of the 2nd International Conference, held at the Madrid Polytechnic University, Spain, September, 1978 0 索取号：O241-53/E801/2 作者：International Conference on Applied Numerical Modeling (2nd : 1978 : Escuela T·Œcnica de Ingenieros Industriales de Madrid)、Alarc·ʼn、 E.、Brebbia、 C. A.、出版社：London : Pentech Press, 1979.		Proceedings of 4th International Conference on Applied Numerical Modeling : proceedings of conference held at National Cheng Kung University, Tainan, Taiwan, Republic of China, December 27-29, 1984 0 索取号：O241-53/E904 作者：International Conference on Applied Numerical Modeling (4th : 1984 : National Cheng Kung University)、Hsia、 Han-min、 1931-、Kuo li Ch'eng-kung ta hs̈Уeh.、American Astronautical Society.、出版社：San Diego, Calif. : Published for the American Astronautical Society by Univelt, [1985, c1986]
	Continuation and bifurcations : numerical techniques and applications 0 索取号：O241/E995 作者：NATO Advanced Research Workshop on Continuation and Bifurcations: Numerical Techniques and Applications (1989 : Louvain、 Belgium)、Roose、 Dirk.、Dier、 Bart de、 1961-、Spence、 Alastair、 1948-、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Dordrecht ; Boston : Kluwer Academic, c1990.		University physics 0 索取号：O4/E8035.5 作者：Sears、 Francis Weston、 1898-、Zemansky、 Mark Waldo、 1900- joint author.、Young、 Hugh D.、 joint author.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., c1976.
	Complexity of sequential and parallel numerical algorithms 0 索取号：O241/E801 作者：Symposium on Complexity of Sequential and Parallel Numerical Algorithms (1973 : Carnegie-Mellon University)、Traub、 J. F. (Joseph Frederick)、 1932-、Carnegie-Mellon University.、出版社：New York : Academic Press, 1973.		Eukaryotic cell cultures : basics and applications 0 索取号：Q-331/E908 作者：International Cell Culture Congress (2nd : 1981 : University of Alabama)、Acton、 Ronald T.、Lynn、 J. Daniel.、出版社：New York : Plenum Press, c1984.
	Distributed algorithms : 3rd international workshop, Nice, France, September 26-28, 1989 : proceedings 0 索取号：O24-532/E901 作者：出版社：Berlin ; New York : Springer-Verlag, c1989.		Numerical mathematics, Singapore, 1988 : proceedings of the International Conference on Numerical Mathematics held at the National University of Singapore, May 31-June 4, 1988 0 索取号：O24-53/E901 作者：International Conference on Numerical Mathematics (1988 : National University of Singapore)、Agarwal、 Ravi P.、Chow、 Y. M.、Wilson、 S. J.、出版社：Basel ; Boston : Birkhèauser Verlag, 1988.
	Multivariate approximation and interpolation : proceedings of an international workshop held at the University of Duisburg, August 14-18, 1989 0 索取号：O24-53/E991 作者：出版社：Basel ; Boston : BirkḧАuser Verlag, 1990.		Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 0 索取号：O24-53/E992 作者：出版社：Boston : Birkhauser, 1990.
	Computational techniques and applications, CTAC-85 : proceedings of the Computational Techniques and Application Conference, held at the University of Melbourne, Australia, 25-28 August 1985 0 索取号：O24-53/E902/1985 作者：International Conference on Computational Techniques and Applications (2nd : 1985 : University of Melbourne)、Noye、 John、 1930-、May、 Robert (Robert L.)、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.		Computational techniques and applications, CTAC-83 : proceedings of the 1983 International Conference on Computational Techniques and Applications, held at the University of Sydney, Australia 0 索取号：O24-53/E902/1983 作者：International Conference on Computational Techniques and Applications (1st : 1983 : University of Sydney)、Noye、 John、 1930-、Fletcher、 C. A. J.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
	Advances in computer methods for partial differential equations-V : proceedings of the fifth IMACS International Symposium on Computer Methods for Partial Differential Equations, held at Lehigh University, Bethlehem, Pennsylvania, U.S.A., June 19-21, 1984 0 索取号：O24-53/E802/5 作者：IMACS International Symposium on Computer Methods for Partial Differential Equations (5th : 1984 : Lehigh University)、Vichnevetsky、 Robert.、Stepleman、 R. S. (Robert S.)、 1942-、United States. Office of Naval Research.、International Association for Mathematics and Computers in Simulation.、出版社：New Brunswick, N.J. : IMACS, Dept. of Computer Science, Rutgers University, 1984.		Studies in integer programming 0 索取号：O221.4-53/E801 作者：Workshop on Integer Programming (1975 : Bonn、 Germany)、Hammer、 P. L.、 1936-、UniversiẗАt Bonn. Institut f̈Уr ̈оkonometrie und Operations Research.、IBM Deutschland.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1977.

	Numerical integration : recent developments, software, and applications 0 索取号：O241.4/E991 作者：NATO Advanced Research Workshop on Numerical Integration: Recent Developments、 Software、 and Applications (1991 : Bergen、 Norway)、Espelid、 Terje O.、Genz、 Alan.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Dordrecht ; Boston : Kluwer Academic, c1992.		Nonlinear evolution equations and dynamical systems : proceedings NEEDS '91, Baia Verde, Gallipoli, Italy, 19-29, June 1991 0 索取号：O241.1-532/E991/1991 作者：Workshop on Nonlinear Evolution Equations and Dynamical Systems (7th : 1991 : Gallipoli、 Italy)、Boiti、 M.、 1941-、Martina、 L.、Pempinelli、 F.、 1941.-、出版社：Singapore ; River Edge, N.J. : World Scientific, c1992.
	Applied numerical modelling : proceedings of the 2nd International Conference, held at the Madrid Polytechnic University, Spain, September, 1978 0 索取号：O241-53/E801/2 作者：International Conference on Applied Numerical Modeling (2nd : 1978 : Escuela T·Œcnica de Ingenieros Industriales de Madrid)、Alarc·ʼn、 E.、Brebbia、 C. A.、出版社：London : Pentech Press, 1979.		Proceedings of 4th International Conference on Applied Numerical Modeling : proceedings of conference held at National Cheng Kung University, Tainan, Taiwan, Republic of China, December 27-29, 1984 0 索取号：O241-53/E904 作者：International Conference on Applied Numerical Modeling (4th : 1984 : National Cheng Kung University)、Hsia、 Han-min、 1931-、Kuo li Ch'eng-kung ta hs̈Уeh.、American Astronautical Society.、出版社：San Diego, Calif. : Published for the American Astronautical Society by Univelt, [1985, c1986]
	Continuation and bifurcations : numerical techniques and applications 0 索取号：O241/E995 作者：NATO Advanced Research Workshop on Continuation and Bifurcations: Numerical Techniques and Applications (1989 : Louvain、 Belgium)、Roose、 Dirk.、Dier、 Bart de、 1961-、Spence、 Alastair、 1948-、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Dordrecht ; Boston : Kluwer Academic, c1990.		University physics 0 索取号：O4/E8035.5 作者：Sears、 Francis Weston、 1898-、Zemansky、 Mark Waldo、 1900- joint author.、Young、 Hugh D.、 joint author.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., c1976.
	Complexity of sequential and parallel numerical algorithms 0 索取号：O241/E801 作者：Symposium on Complexity of Sequential and Parallel Numerical Algorithms (1973 : Carnegie-Mellon University)、Traub、 J. F. (Joseph Frederick)、 1932-、Carnegie-Mellon University.、出版社：New York : Academic Press, 1973.		Eukaryotic cell cultures : basics and applications 0 索取号：Q-331/E908 作者：International Cell Culture Congress (2nd : 1981 : University of Alabama)、Acton、 Ronald T.、Lynn、 J. Daniel.、出版社：New York : Plenum Press, c1984.
	Distributed algorithms : 3rd international workshop, Nice, France, September 26-28, 1989 : proceedings 0 索取号：O24-532/E901 作者：出版社：Berlin ; New York : Springer-Verlag, c1989.		Numerical mathematics, Singapore, 1988 : proceedings of the International Conference on Numerical Mathematics held at the National University of Singapore, May 31-June 4, 1988 0 索取号：O24-53/E901 作者：International Conference on Numerical Mathematics (1988 : National University of Singapore)、Agarwal、 Ravi P.、Chow、 Y. M.、Wilson、 S. J.、出版社：Basel ; Boston : Birkhèauser Verlag, 1988.
	Multivariate approximation and interpolation : proceedings of an international workshop held at the University of Duisburg, August 14-18, 1989 0 索取号：O24-53/E991 作者：出版社：Basel ; Boston : BirkḧАuser Verlag, 1990.		Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 0 索取号：O24-53/E992 作者：出版社：Boston : Birkhauser, 1990.
	Computational techniques and applications, CTAC-85 : proceedings of the Computational Techniques and Application Conference, held at the University of Melbourne, Australia, 25-28 August 1985 0 索取号：O24-53/E902/1985 作者：International Conference on Computational Techniques and Applications (2nd : 1985 : University of Melbourne)、Noye、 John、 1930-、May、 Robert (Robert L.)、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.		Computational techniques and applications, CTAC-83 : proceedings of the 1983 International Conference on Computational Techniques and Applications, held at the University of Sydney, Australia 0 索取号：O24-53/E902/1983 作者：International Conference on Computational Techniques and Applications (1st : 1983 : University of Sydney)、Noye、 John、 1930-、Fletcher、 C. A. J.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
	Advances in computer methods for partial differential equations-V : proceedings of the fifth IMACS International Symposium on Computer Methods for Partial Differential Equations, held at Lehigh University, Bethlehem, Pennsylvania, U.S.A., June 19-21, 1984 0 索取号：O24-53/E802/5 作者：IMACS International Symposium on Computer Methods for Partial Differential Equations (5th : 1984 : Lehigh University)、Vichnevetsky、 Robert.、Stepleman、 R. S. (Robert S.)、 1942-、United States. Office of Naval Research.、International Association for Mathematics and Computers in Simulation.、出版社：New Brunswick, N.J. : IMACS, Dept. of Computer Science, Rutgers University, 1984.		Studies in integer programming 0 索取号：O221.4-53/E801 作者：Workshop on Integer Programming (1975 : Bonn、 Germany)、Hammer、 P. L.、 1936-、UniversiẗАt Bonn. Institut f̈Уr ̈оkonometrie und Operations Research.、IBM Deutschland.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1977.